T F S C M T G T F
نویسندگان
چکیده
In this paper, we extend our ideas on model transformations as functors discussed in the previous issue and embed this concept into the framework of graph transformation systems. We show that under certain restrictions of the rules model transformations by graph transformation are functors.
منابع مشابه
Amitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملOn the Hyponormal Property of Operators
Let $T$ be a bounded linear operator on a Hilbert space $mathscr{H}$. We say that $T$ has the hyponormal property if there exists a function $f$, continuous on an appropriate set so that $f(|T|)geq f(|T^ast|)$. We investigate the properties of such operators considering certain classes of functions on which our definition is constructed. For such a function $f$ we introduce the $f$-Aluthge tran...
متن کاملPolynomially bounded solutions of the Loewner differential equation in several complex variables
We determine the form of polynomially bounded solutions to the Loewner differential equation that is satisfied by univalent subordination chains of the form $f(z,t)=e^{int_0^t A(tau){rm d}tau}z+cdots$, where $A:[0,infty]rightarrow L(mathbb{C}^n,mathbb{C}^n)$ is a locally Lebesgue integrable mapping and satisfying the condition $$sup_{sgeq0}int_0^inftyleft|expleft{int_s^t [A(tau)...
متن کاملMotion of Particles under Pseudo-Deformation
In this short article, we observe that the path of particle of mass $m$ moving along $mathbf{r}= mathbf{r}(t)$ under pseudo-force $mathbf{A}(t)$, $t$ denotes the time, is given by $mathbf{r}_d= int(frac{dmathbf{r}}{dt} mathbf{A}(t)) dt +mathbf{c}$. We also observe that the effective force $mathbf{F}_e$ on that particle due to pseudo-force $mathbf{A}(t)$, is given by $ mathbf{F}_e= mathbf{F} mat...
متن کاملOuter independent Roman domination number of trees
A Roman dominating function (RDF) on a graph G=(V,E) is a function f : V → {0, 1, 2} such that every vertex u for which f(u)=0 is adjacent to at least one vertex v for which f(v)=2. An RDF f is calledan outer independent Roman dominating function (OIRDF) if the set ofvertices assigned a 0 under f is an independent set. The weight of anOIRDF is the sum of its function values over ...
متن کاملمطالعه فراوانی تیپ های مسمومیتزای انسانی کلستریدیوم بوتولینوم (A, B, E) در بعضی از ماهیان دریای شمال( سفید و کفال) و ماهیان دریای جنوب ( شوریده و حلوا) ایران
. (vr"+ ) lt s o{,9^is (Jt"j)Jtise r^il3tpb :oUle+ .,jti I dlir..9* db* s9"9 jJ j | .+1,. er- )LAe.1 I +.i9r; lf ' :.p9, .Lgr;lortjr;rlt, (a;r"; f f. VS),rilt9 !)9) air.ir)J) e 4y e+ yql*S JL;,r ol.icJ5 6lndit i . r;ii,S,lr! aiJ";icr9. a-i.1 oif6-f- r.r-f ortir-l t 9 ac!,51!!;,*Sf ,:t*- o:.J.i1 trS".* f q rg rf ,r- },l'j*.Ft . r,:f;.s.; ;oJi :ni 5rlJUrl Jylgig"dLbO*Ji,riijl cdlGglii reJJg...
متن کامل